13 found
Order:
  1.  27
    (1 other version)A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Mathematical Logic Quarterly 9 (22):331-346.
  2.  69
    Creative Functions.J. P. Cleave - 1961 - Mathematical Logic Quarterly 7 (11-14):205-212.
  3. The notion of validity in logical systems with inexact predicates.J. P. Cleave - 1970 - British Journal for the Philosophy of Science 21 (3):269-274.
  4.  9
    and antagonize the reader'. In view of this and his own introductory remarks, it is not clear why the Lukasiewicz systems should be rescued after remaining for fifty years a mere cerebral bauble.J. P. Cleave - 1976 - In John P. Cleave & Stephan Körner, Philosophy of logic: papers and discussions. Berkeley: University of California Press. pp. 88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  9
    Creative Functions.J. P. Cleave - 1964 - Journal of Symbolic Logic 29 (2):102-103.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  48
    (1 other version)Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain).J. P. Cleave - 1976 - Mathematical Logic Quarterly 22 (1):481-500.
  7.  18
    Some Properties of Recursively Inseparable Sets.J. P. Cleave - 1970 - Mathematical Logic Quarterly 16 (2):187-200.
  8.  35
    The axiomatisation of theories of material necessity.J. P. Cleave - 1979 - Notre Dame Journal of Formal Logic 20 (1):180-190.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  34
    Adrian Carpentier M.. Creative sequences and double sequences. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 35–61. [REVIEW]J. P. Cleave - 1970 - Journal of Symbolic Logic 35 (4):590-590.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. R. H. THOMASON : "Formal Philosophy: selected papers of Richard Montague". [REVIEW]J. P. Cleave - 1977 - Ratio (Misc.) 19 (1):96.
     
    Export citation  
     
    Bookmark  
  11.  32
    Raymond M. Smullyan. Creativity and effective inseparability. Transactions of the American Mathematical Society, vol. 109 , pp. 135–145. [REVIEW]J. P. Cleave - 1965 - Journal of Symbolic Logic 30 (3):391-392.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  35
    V. D. Vuckovic. Creative and weakly creative sequences of r.e. sets. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 478–483. [REVIEW]J. P. Cleave - 1969 - Journal of Symbolic Logic 34 (2):296-296.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  53
    Webb Miller. Recursive function theory and numerical analysis. Journal of computer and system sciences vol. 4 , pp. 465–472. [REVIEW]J. P. Cleave - 1974 - Journal of Symbolic Logic 39 (2):346.